Polynomial Size Test Sets For Context-Free Languages
نویسندگان
چکیده
منابع مشابه
Optimal Test Sets for Context-Free Languages
A test set for a formal language (set of strings) L is a subset T of L such that for any two string homomorphisms f and g defined on L, if the restrictions of f and g on T are identical functions, then f and g are identical on the entire L. Previously, it was shown that there are context-free grammars for which smallest test sets are cubic in the size of the grammar, which gives a lower bound o...
متن کاملTest Sets for Context Free Languages and Algebraic Systems of Equations over a Free Monoid
It is shown that for every context free language L there effectively exists a test set F, that is, a finite subset F of L such that, for any pair (g, h) of morphisms, g(x) = h(x) for all x in F implies g(x) = h(x) for all x in L. This result was claimed earlier but a detailed correct proof is given here. Together with very recent results on systems of equations over a free monoid this result im...
متن کاملA Polynomial Algorithm for the Inference of Context Free Languages
We present a polynomial algorithm for the inductive inference of a large class of context free languages, that includes all regular languages. The algorithm uses a representation which we call Binary Feature Grammars based on a set of features, capable of representing richly structured context free languages as well as some context sensitive languages. More precisely, we focus on a particular c...
متن کاملPolynomial Identification in the Limit of Substitutable Context-free Languages
This paper formalises the idea of substitutability introduced by Zellig Harris in the 1950s and makes it the basis for a learning algorithm from positive data only for a subclass of context-free languages. We show that there is a polynomial characteristic set, and thus prove polynomial identification in the limit of this class. We discuss the relationship of this class of languages to other com...
متن کاملLogics For Context-Free Languages
Erklärung Hiermit versichere ich, dass ich die vorliegende Masterarbeit selbstständig verfasst und keine anderen Quellen und Hilfsmittel als die angegebenen benutzt habe.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1995
ISSN: 0022-0000
DOI: 10.1006/jcss.1995.1002